Michael Thomas

Results: 946



#Item
21Relaxed Abduction: Robust Information Interpretation for Incomplete Models Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1 Software, Technology, and Systems (STS) Hamburg University of Technology, Hambu

Relaxed Abduction: Robust Information Interpretation for Incomplete Models Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1 Software, Technology, and Systems (STS) Hamburg University of Technology, Hambu

Add to Reading List

Source URL: ceur-ws.org

- Date: 2011-06-28 16:34:51
    222013 IEEE International Conference on Computer Vision Workshops Learning to Detect Basal Tubules of Nematocysts in SEM images Michael Lam, Janardhan Rao Doppa, Xu Hu, Sinisa Todorovic, and Thomas Dietterich Oregon State

    2013 IEEE International Conference on Computer Vision Workshops Learning to Detect Basal Tubules of Nematocysts in SEM images Michael Lam, Janardhan Rao Doppa, Xu Hu, Sinisa Todorovic, and Thomas Dietterich Oregon State

    Add to Reading List

    Source URL: www.cv-foundation.org

    - Date: 2013-12-18 20:07:54
      23Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Automata-Based Abduction for Tractable Diagnosis Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1

      Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Automata-Based Abduction for Tractable Diagnosis Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2010-04-20 14:40:19
        24LINEAR RELATIONS BETWEEN POLYNOMIAL ORBITS DRAGOS GHIOCA, THOMAS J. TUCKER, AND MICHAEL E. ZIEVE Abstract. We study the orbits of a polynomial f ∈ C[X], namely the sets {α, f (α), f (f (α)), . . . } with α ∈ C. W

        LINEAR RELATIONS BETWEEN POLYNOMIAL ORBITS DRAGOS GHIOCA, THOMAS J. TUCKER, AND MICHAEL E. ZIEVE Abstract. We study the orbits of a polynomial f ∈ C[X], namely the sets {α, f (α), f (f (α)), . . . } with α ∈ C. W

        Add to Reading List

        Source URL: dept.math.lsa.umich.edu

        - Date: 2011-09-15 11:27:41
          25Module Extraction via Query Inseparability in OWL 2 QL Boris Konev1 , Roman Kontchakov2 , Michel Ludwig1 , Thomas Schneider3 , Frank Wolter1 , and Michael Zakharyaschev2 1 University of Liverpool, UK {konev,michel.ludwi

          Module Extraction via Query Inseparability in OWL 2 QL Boris Konev1 , Roman Kontchakov2 , Michel Ludwig1 , Thomas Schneider3 , Frank Wolter1 , and Michael Zakharyaschev2 1 University of Liverpool, UK {konev,michel.ludwi

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-26 10:20:43
            26INTERSECTIONS OF POLYNOMIAL ORBITS, AND A DYNAMICAL MORDELL-LANG CONJECTURE DRAGOS GHIOCA, THOMAS J. TUCKER, AND MICHAEL E. ZIEVE Abstract. We prove that if nonlinear complex polynomials of the same degree have orbits wi

            INTERSECTIONS OF POLYNOMIAL ORBITS, AND A DYNAMICAL MORDELL-LANG CONJECTURE DRAGOS GHIOCA, THOMAS J. TUCKER, AND MICHAEL E. ZIEVE Abstract. We prove that if nonlinear complex polynomials of the same degree have orbits wi

            Add to Reading List

            Source URL: dept.math.lsa.umich.edu

            - Date: 2007-10-08 12:39:47
              27Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems Vienna University of Technology

              Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems Vienna University of Technology

              Add to Reading List

              Source URL: www.peterschueller.com

              - Date: 2012-11-15 13:02:25
                28Improved Approximation Algorithms for Box Contact Representations? Michael A. Bekos1 , Thomas C. van Dijk2 , Martin Fink2 , Philipp Kindermann2?? , Stephen Kobourov3 , Sergey Pupyrev3 , Joachim Spoerhase2 , and Alexander

                Improved Approximation Algorithms for Box Contact Representations? Michael A. Bekos1 , Thomas C. van Dijk2 , Martin Fink2 , Philipp Kindermann2?? , Stephen Kobourov3 , Sergey Pupyrev3 , Joachim Spoerhase2 , and Alexander

                Add to Reading List

                Source URL: www.cs.arizona.edu

                  29The mcs-ie System for Explaining Inconsistency in Multi-Context Systems? Markus B¨ ogl, Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems

                  The mcs-ie System for Explaining Inconsistency in Multi-Context Systems? Markus B¨ ogl, Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems

                  Add to Reading List

                  Source URL: www.peterschueller.com

                  - Date: 2012-11-15 13:02:25
                    30Finding Explanations of Inconsistency in Multi-Context Systems∗ ¨ Thomas Eiter and Michael Fink and Peter Schuller and Antonius Weinzierl Institute of Information Systems Vienna University of Technology

                    Finding Explanations of Inconsistency in Multi-Context Systems∗ ¨ Thomas Eiter and Michael Fink and Peter Schuller and Antonius Weinzierl Institute of Information Systems Vienna University of Technology

                    Add to Reading List

                    Source URL: www.peterschueller.com

                    - Date: 2012-11-15 13:02:25